And Aldo Conca

We give an introduction to the theory of determinantal ideals and rings, their Gröbner bases, initial ideals and algebras, respectively. The approach is based on the straightening law and the Knuth-Robinson-Schensted correspondence. The article contains a section treating the basic results about the passage to initial ideals and algebras. Let K be a field and X an m×n matrix of indeterminates over K. For a given positive integer t ≤ min(m,n), we consider the ideal It = It(X) generated by the t-minors (i. e. the determinants of the t × t submatrices) of X in the polynomial ring K[X ] generated by all the indeterminates Xi j. From the viewpoint of algebraic geometry K[X ] should be regarded as the coordinate ring of the variety of K-linear maps f : Km → Kn. Then V (It) is just the variety of all f such that rank f < t, and K[X ]/It is its coordinate ring. The study of the determinantal ideals It and the objects related to them has numerous connections with invariant theory, representation theory, and combinatorics. For a detailed account we refer the reader to Bruns and Vetter [17]. A large part of the theory of determinantal ideals can be developed over the ring Z of integers (instead of a base field K) and then transferred to arbitrary rings B of coefficients (see [17]). For simplicity we restrict ourselves to fields. This article follows the line of investigation started by Sturmfels’ article [66] in which he applied the Knuth-Robinson-Schensted correspondence KRS (Knuth [50]) to the study of the determinantal ideals It . The “witchcraft” (Knuth [51, p. 60]) of the KRS saves one from tracing the Buchberger algorithm through tedious inductions. Later on the method was extended by Herzog and Trung [44] to the socalled 1-cogenerated ideals, ladder determinantal ideals and ideals of pfaffians. They follow the important principle to derive properties of K[X ]/It 1991 Mathematics Subject Classification. 05E10, 13F50, 13F55, 13H10, 13P10, 14M12.